Probabilistic Logic, Probabilistic Regular Expressions, and Constraint Temporal Logic

The classic theorems of Büchi and Kleene state the expressive equivalence of finite automata to monadic second order logic and regular expressions, respectively. These fundamental results enjoy applications in nearly every field of theoretical computer science. Around the same time as Büchi and Kleene, Rabin investigated probabilistic finite automata. This equally well established model has applications ranging from natural language processing to probabilistic model checking. Here, we give probabilistic extensions Büchi\\\''s theorem and Kleene\\\''s theorem to the probabilistic setting. We obtain a probabilistic MSO logic by adding an expected second order quantifier. In the scope of this quantifier, membership is determined by a Bernoulli process. This approach turns out to be universal and is applicable for finite and infinite words as well as for finite trees. In order to prove the expressive equivalence of this probabilistic MSO logic to probabilistic automata, we show a Nivat-theorem, which decomposes a recognisable function into a regular language, homomorphisms, and a probability measure. For regular expressions, we build upon existing work to obtain probabilistic regular expressions on finite and infinite words. We show the expressive equivalence between these expressions and probabilistic Muller-automata. To handle Muller-acceptance conditions, we give a new construction from probabilistic regular expressions to Muller-automata. Concerning finite trees, we define probabilistic regular tree expressions using a new iteration operator, called infinity-iteration. Again, we show that these expressions are expressively equivalent to probabilistic tree automata. On a second track of our research we investigate Constraint LTL over multidimensional data words with data values from the infinite tree. Such LTL formulas are evaluated over infinite words, where every position possesses several data values from the infinite tree. Within Constraint LTL on can compare these values from different positions. We show that the model checking problem for this logic is PSPACE-complete via investigating the emptiness problem of Constraint Büchi automata

Athletic Training: Time for a Name Change?

It seems inappropriate to continue to use the name athletic training, because it does not clearly suggest the tasks of the profession. Historically, athletic training has been associated with conditioning and maintaining high physical efficiency in athletes. In the late nineteenth century, the athletic trainer's role still was regarded as limited to the conditioning of athletes; however, as indicated by a 1990 role delineation study, athletic training should be characterized as a paramedical profession, concerned with the care, treatment, and prevention of athletic injuries. As the field continues to evolve and earn respect as a legitimate scholarly pursuit, it must adopt a name which will be accepted and understood by both the public and the academic community

Conducting a Department or Program Self-Study and External Review

This presentation is to help those preparing to program or department self-studies and related external reviews. It will explore a variety of options and scenarios that are common across institutions relative to this process

The [alpha/Fe] Ratios in Dwarf Galaxies: Evidence for a Non-universal Stellar Initial Mass Function?

It is well established that the [alpha/Fe] ratios in elliptical galaxies increase with galaxy mass. This relation holds also for early-type dwarf galaxies, although it seems to steepen at low masses. The [alpha/Fe] vs. mass relation can be explained assuming that smaller galaxies form over longer timescales (downsizing), allowing a larger amount of Fe (mostly produced by long-living Type Ia Supernovae) to be released and incorporated into newly forming stars. Another way to obtain the same result is by using a flatter initial mass function (IMF) in large galaxies, increasing in this way the number of Type II Supernovae and therefore the production rate of alpha-elements. The integrated galactic initial mass function (IGIMF) theory predicts that the higher the star formation rate, the flatter the IMF. We have checked, by means of semi-analytical calculations, that the IGIMF theory, combined with the downsizing effect (i.e. the shorter duration of the star formation in larger galaxies), well reproduces the observed [alpha/Fe] vs. mass relation. In particular, we show a steepening of this relation in dwarf galaxies, in accordance with the available observations.Comment: 4 pages, 2 figures; to appear in the proceedings of the JENAM 2010 Symposium on Dwarf Galaxies (Lisbon, September 9-10, 2010